interpolation lemma

См. также в других словарях:

• Bramble-Hilbert lemma — In mathematics, particularly numerical analysis, the Bramble Hilbert lemma, named after James H. Bramble and Stephen R. Hilbert, bounds the error of an approximation of a function extstyle u by a polynomial of order at most extstyle m 1 in terms… …   Wikipedia

• Polynomial interpolation — In the mathematical subfield of numerical analysis, polynomial interpolation is the interpolation of a given data set by a polynomial. In other words, given some data points (such as obtained by sampling), the aim is to find a polynomial which… …   Wikipedia

• Céa's lemma — is a lemma in mathematics. It is an important tool for proving error estimates for the finite element method applied to elliptic partial differential equations. Contents 1 Lemma statement 2 Error estimate in the energy norm 3 …   Wikipedia

• Lebesgue constant (interpolation) — For other uses, see: Lebesgue constant. In mathematics, the Lebesgue constants (depending on a set of nodes and of its size) give an idea of how good the interpolant of a function (at the given nodes) is in comparison with the best polynomial… …   Wikipedia

• Bramble-Hilbert-Lemma — In der Mathematik, besonders in der numerischen Analysis, schätzt das Bramble Hilbert Lemma, benannt nach James H. Bramble und Stephen R. Hilbert, den Fehler bei Approximation einer Funktion u durch ein Polynom der maximalen Ordnung m − 1 mit… …   Deutsch Wikipedia

• Lebesgue's lemma — For Lebesgue s lemma for open covers of compact spaces in topology see Lebesgue s number lemma In mathematics, Lebesgue s lemma is an important statement in approximation theory. It provides a bound for the projection error.tatementLet ( V , ||… …   Wikipedia

• Craigs Lemma — Die Craig Interpolation ist ein Ausdruck der Logik. Der zugrunde liegende Satz (Craig’s Lemma, Interpolationstheorem) lautet folgendermaßen: Es seien T1 und T2 zwei Theorien und der Satz sei ein in ableitbarer Satz. Dann gilt: Es gibt ein B mit… …   Deutsch Wikipedia

• Craig-Interpolation — Die Craig Interpolation ist ein Ausdruck der Logik. Der zugrunde liegende Satz (Craig’s Lemma, Interpolationstheorem) lautet folgendermaßen: Es seien T1 und T2 zwei Theorien und der Satz sei ein in ableitbarer Satz. Dann gilt: Es gibt ein B mit… …   Deutsch Wikipedia

• List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

• Finite model theory — is a subfield of model theory that focuses on properties of logical languages, such as first order logic, over finite structures, such as finite groups, graphs, databases, and most abstract machines. It focuses in particular on connections… …   Wikipedia

• List of numerical analysis topics — This is a list of numerical analysis topics, by Wikipedia page. Contents 1 General 2 Error 3 Elementary and special functions 4 Numerical linear algebra …   Wikipedia